logical proof - Allemand Anglais Dictionnaire